Many-valued logic

noun

noun ·Rare ·Advanced level

Definitions

Noun
  1. 1
    A kind of non-classical propositional calculus whose semantics makes use of more than two truth values.